Thinking in Hoses and Wires, Not Bolted Gears (Protocol-Driven Development)
github.com·5h·
Discuss: Hacker News
🌐Protocol Synthesis
A Methodological Framework for LLM-Based Mining of Software Repositories
arxiv.org·1d
🔗Topological Sorting
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·2d
📝Concrete Syntax
How To Solve Every Programming Problem
blog.codeminer42.com·40m
📐Interval Arithmetic
Why Computer Science Is No Good, Redux
cacm.acm.org·1d
🎯Performance Proofs
How the Lean language brings math to coding and coding to math
amazon.science·1d·
Discuss: Hacker News
🔬Lean
Vibe coding to Chomksy: will linguistics pop off in a world full of prompting?
aymannadeem.com·3h·
Discuss: Hacker News
💻Programming languages
Introductory Computer Science and Software Engineering Topics
albertyw.com·2d
🛠Language Design
Beyond words: Study maps the cognitive force of metaphor
phys.org·3h
🔢Denotational Semantics
C and VLAs (Variable Length Arrays)
subethasoftware.com·2h
🔩Systems Programming
Out-Fibbing CPython with the Plush Interpreter
pointersgonewild.com·19h·
Discuss: Lobsters
🔗Functional Compilers
Using Closures to Extend Class Behavior Without Breaking Encapsulation
hackernoon.com·1d
🔬Refinement Types
Software books I wish I could read
buttondown.com·6h·
Discuss: Hacker News
🔄Language Evolution
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·1d·
Discuss: www.blogger.com
🌳Persistent Data Structures
Context Engineering — A Comprehensive Hands-On Tutorial with DSPy
towardsdatascience.com·15h
✨Effect Handlers
A Formal Framework for the Definition of 'State': Hierarchical Representation and Meta-Universe Interpretation
arxiv.org·1d
🔄Finite State Machines
Talk Highlights: Documenting the Design of the Linux Kernel – Chuck Wolber, The Boeing Company; Kate Stewart, The Linux Foundaiton; Gabriele Paoloni, Red Hat
elisa.tech·12h
📜Proof Carrying Code
The Amaranth hardware description language
amaranth-lang.org·16h·
Discuss: Hacker News
🔍FPGA Verification
GPT-OSS 120B Writes a Lisp in Go Fast
elite-ai-assisted-coding.dev·2h·
Discuss: Hacker News
🤖Lisp Machines
How To Review Code
endler.dev·19h
📏Code Metrics